$\forall$${\it es}$:ES, ${\it Sys}$:AbsInterface(Top). sys{-}antecedent(${\it es}$;${\it Sys}$) $\in$ Type